$\forall$$b$:$\mathbb{N}$, $a$:$\mathbb{Z}$. $\downarrow\exists$$y$:$\mathbb{Z}$. GCD($a$;$b$;$y$)